theory of typesの例文

例文

もっと例文:   1  2  3  4  5  6  7

1. In his published paper on the subject, Dumas introduces his theory of types.
2. By the time of his 1908 " Mathematical logic as based on the theory of types"
3. They sought to banish the paradoxes of naive set theory by employing a theory of types they devised for this purpose.
4. Church's theory of types helped the formal system avoid the Kleene Rosser paradox that afflicted the original untyped lambda calculus.
5. In intuitionistic theories of type theory ( especially higher-type arithmetic ), many forms of the axiom of choice are permitted.